" Nicola Olivetti" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Proof Theory for Fuzzy Logics (Applied Logic Series, Volume 36)

Автор: George Metcalfe, Автор: Nicola Olivetti, Автор: Dov Gabbay

Категория: Математика, Прикладная математика

Размер книги: 1.78 Mb

Automated Reasoning with Analytic Tableaux and Related Methods, 16 conf., TABLEAUX 2007

Автор: Nicola Olivetti

Категория: CsLn_

Размер книги: 2.68 Mb

Goal-Directed Proof Theory

Автор: Dov M. Gabbay, Автор: N. Olivetti, Автор: Nicola Olivetti

Размер книги: 1.33 Mb